Erlazio bihurkari

Matematikan, ${\displaystyle A}$ multzoan definituriko ${\displaystyle R}$ erlazio bitarra bihurkaria edo erreflexiboa da, baldin ${\displaystyle A}$-ko elementu oro bere buruarekin ${\displaystyle R}$-ren bidez erlazionatuta badago.

Hau da,

${\displaystyle \forall x\in A,\;xRx}$

Hori gertatzekotan, esaten dugu ${\displaystyle R}$-k propietate bihurkaria betetzen duela.

${\displaystyle A}$ multzoan ezarritako ${\displaystyle R}$ erlazioa, ${\displaystyle (A,R)}$ bikote ordenatuaren bidez adierazten da.

Erlazio erreflexiboaren aurkako den ${\displaystyle R}$ erlazioari, hots, ${\displaystyle A}$-ko inolako elementurik ez badago bere buruarekin ${\displaystyle R}$-ren bidez erlazionatuta, erlazio antirreflexiboa deritzo; eta honela adierazten da:

${\displaystyle \forall x\in A,\;\neg (xRx)}$

Hori gertatzekotan, esaten dugu ${\displaystyle R}$-k propietate antirreflexiboa betetzen duela.